Cascade Vulnerability Problem Simulator Tool

In this paper, we present a tool called the CVP Simulator Tool, which enables users to model a computer network and its connectivity, and detects and eliminates any existing Cascade Vulnerability Problems (CVP). Users can add computers into a network, define what kind of information the computer can hold (e.g., Top Secret, Classified), establish connections between computers, assign a value to this connection, and simulate information flow between computers. The presented tool integrates the best features of two programming languages, object oriented and logic programming, to express solutions in terms of constraints using Constraint Programming (CP), which is a paradigm that has been successfully applied to large scale problems such as combinatorial search, optimization, and scheduling.